// load all scripts included in the document
var scripts=document.getElementsByTagName("SCRIPT");
var script;
for (var i=0; i < scripts.length; i++)
{
    script=scripts[i];
    if (script.getAttribute("type") == "text/javascript")
    {
        var src=script.getAttribute("src");
        domState.loadScript(src);
    }
}
